Computer Science - PDFSEARCH.IO - Document Search Engine

Computer Science
Results: 55984

#	Item
471	Mutually Independent Commitments Moses Liskov1 , Anna Lysyanskaya1 , Silvio Micali1 , Leonid Reyzin2 , and Adam Smith1 1 Laboratory for Computer Science Add to Reading List Source URL: www.iacr.org Language: English - Date: 2006-12-12 19:25:24
472	American Computer Science League Flyer Solutions 1. Boolean Algebra ( A  B) ( AB  BC ) = A B ( AB  BC ) = AA B  A BB C  0  0  0 Add to Reading List Source URL: www.acsl.org - Date: 2017-01-21 20:08:14
473	Practical Extensions of a Randomized Testing Tool Hojun Jaygarl, Carl K. Chang Department of Computer Science Iowa State University Ames, USA {jaygarl,chang}@cs.iastate.edu Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2018-02-21 17:47:02
474	Improving the Identifiability of Neural Networks for Bayesian Inference Arya A. Pourzanjani∗, Richard M. Jiang∗, Linda R. Petzold Department of Computer Science University of California, Santa Barbara Add to Reading List Source URL: bayesiandeeplearning.org Language: English - Date: 2017-12-05 15:00:38
475	PROGRAMMING LANGUAGES LABORATORY! Universidade Federal de Minas Gerais - Department of Computer Science LATTICES! PROGRAM ANALYSIS Add to Reading List Source URL: homepages.dcc.ufmg.br Language: English - Date: 2017-05-16 13:24:05
476	Learning To Cooperate in a Social Dilemma: A Satisficing Approach to Bargaining Jeffrey L. Stimpson & Michael A. Goodrich Computer Science Department, Brigham Young University, Provo, UT 84602 Add to Reading List Source URL: faculty.cs.byu.edu Language: English - Date: 2004-06-04 19:03:03
477	On the Properties of the Relation between Argumentation Semantics and Argumentation Inference Operators Guillermo R. SIMARI AI R&D Lab., Dep. of Computer Science and Engineering, Dep. of Computer Science and Engineering Add to Reading List Source URL: comma2014.arg.dundee.ac.uk Language: English - Date: 2014-08-27 11:30:50
478	Synthesising Verified Access Control Systems through Model Checking Nan Zhang, Mark Ryan∗ School of Computer Science University of Birmingham {nxz,mdr}@cs.bham.ac.uk Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-02-25 10:33:23
479	Process Improvement in Governmental Agencies Toward CMMI Certification Ziyad Alshaikh, Mansour Alsaleh, Abdulrahman Alarifi Computer Research Institute King Abdulaziz City for Science and Technology Add to Reading List Source URL: www.mobilab.unina.it Language: English - Date: 2015-11-24 03:48:33
480	Self-Paced Learning for Latent Variable Models M. Pawan Kumar Ben Packer Daphne Koller Computer Science Department Add to Reading List Source URL: robotics.stanford.edu Language: English - Date: 2010-10-31 15:19:37

UPDATE